Enhancing Goal-Based Requirements Consistency: An Argumentation-Based Approach
نویسندگان
چکیده
Requirements engineering research has for long recognized the leading role of goals as requirement artifacts during the requirements engineering specification processes. Given the large number of artifacts created during the requirements specification and the continuous evolution of these artifacts, reasoning about them remains a challenging task. Moreover, the rising complexity of the target domain under consideration during the requirements engineering process as well as the growth of geographically distributed projects explain why the number of collected requirements as well as their complexity also increase. In this context, providing support to stakeholders in achieving a common understanding of a set of goal-based requirements, in consolidating them and keeping them consistent over time is another challenging task. In this paper, we propose an approach to detect consistent sets of goal-based requirements and maintain their consistency over time. Our approach relies on argumentation theory which allows to detect the conflicts among elements called arguments. In particular, we rely on meta-argumentation, which instantiates abstract argumentation frameworks, where requirements are represented as arguments and the standard Dung-like argumentation framework is extended with additional relations between goal-based requirements.
منابع مشابه
An Argumentation-based Approach to Database Repair
The access to high-quality data is essential to make accurate decisions. Consequently, when a database becomes inconsistent is crucial to restore its consistency. The main approach for database consistency restoration is based on the notion of repair. In this work, we use Argumentation techniques to provide a better understand of the reasoning process behind database reparation. We introduced a...
متن کاملArgumentation-based Methodology for Goal-oriented Requirements Language (GRL)
Goal-oriented Requirements Language (GRL) aims to capture goals and non-functional requirements of stakeholders and analyzing alternative solutions for realizing these goals. GRL also documents the rationale behind selecting certain goals or alternatives. However, it does not have any means to document and trace back all of the arguments that occur during the stakeholder’s discussion process. T...
متن کاملEliciting Requirements for an Argumentation Interchange Format
Argumentation Mark-up Languages have been formulated for exporting and storing argumentation knowledge described by use of argument editing and visualisation tools. These tools enable user structuring of arguments through diagramatic linkage of natural language sentences. Recent work has focussed on implementations of formal logical models of argument inference, and argumentation based decision...
متن کاملComputation of skeptical outputs in P-DeLP satisfying indirect consistency: a level-based approach
Recent research has identified the notion of indirect consistency as a rationality postulate that every rule-based argumentation frameworks should satisfy. Possibilistic Defeasible Logic Programming (PDeLP) is an argumentation framework based on logic programming which incorporates a treatment of possibilistic uncertainty at objectlanguage level, in which indirect consistency does not hold. In ...
متن کاملAn Exception Handling Approach to Enhancing Consistency, Completeness and Correctness in Collaborative Requirements Capture
This paper describes C-ReCS, a WWW-based system for collaborative requirements capture that uses a generic knowledge-based approach to detecting and resolving the “exceptions” (i.e. different kinds of inconsistency, incompleteness and incorrectness) that can arise frequently in such settings.
متن کامل